| 1. | Based on it a new and more nature result about the modal logical characterization of - bisimulation is given . ( 3 ) we study the properties of the system distributed by ccs _ , introduce a permissible error function , establish ccs ~ and give some properties of ccs ~
( 3 )讨论ccs _所描述的系统的特征,引入允许差异程度的概念,给出新的进程代数ccs ~ ,并初步讨论ccs ~的一些性质。 |
